Syntax and Semantics for Cinnamon Programming

Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these allow easy, intuitive, visual development heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions syntax semantics new model computation, at same time trying to keep intuition behind clear. purposely simplified theoretical is then compared both WHILE-programs (thus demonstrating its Turing completeness), “real” CNP. Finally, future research possibilities are mentioned that would eventually extend cinnamon foundation into directions nondeterminism, randomness fuzziness.